( 2007_minimaxi48 )